skip to main content

Explore Research Products in the NSF-PAR

  • Home
  • Search Results
  • Page 1 of 1

Search for: All records

Creators/Authors contains: "Bond, Michael D."

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

  1. ; ; ; ; ; ( , 13th Annual Conference on Innovative Data Systems Research (CIDR ’23))
  2. ; ; ; ; ; ( , 13th Annual Conference on Innovative Data Systems Research (CIDR ’23). January 8-11, 2023, Amsterdam, The Netherlands.)
    Many database applications execute transactions under a weaker isolation level, such as READ COMMITTED. This often leads to concurrency bugs that look like race conditions in multi-threaded programs. While this problem is well known, philosophies of how to address this problem vary a lot, ranging from making a SERIALIZABLE database faster to living with weaker isolation and the consequence of concurrency bugs. This paper studies the consequences, root causes, and how developers fix 93 real-world concurrency bugs in database applications. We observe that, on the one hand, developers still prefer preventing these bugs from happening. On the other hand, database systems are not providing sufficient support for this task, so developers often fix these bugs using ad-hoc solutions, which are often complicated and not fully correct. We further discuss research opportunities to improve concurrency control in database implementations. 
    more » « less
    Accepted Manuscript Full Text Available
  3. ; ; ; ; ; ( , 13th Annual Conference on Innovative Data Systems Research (CIDR ’23). January 8-11, 2023, Amsterdam, The Netherlands.)
    Accepted Manuscript Full Text Available
  4. ; ; ; ( , IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS))
    Full Text Available 
  5. ; ; ( , ACM SIGPLAN International Conference on Compiler Construction (CC))
    Full Text Available 
  6. ; ; ; ; ; ; ; ( , ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI))
    Full Text Available 
  7. ; ; ; ( , Eurosys 21)
    null (Ed.)
    Full Text Available 
  8. ; ; ( , Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation)
    Full Text Available 
  9. ; ; ; ; ; ; ; ; ; ( , 14th USENIX Symposium on Operating Systems Design and Implementation)
    null (Ed.)
    Accepted Manuscript Full Text Available
  10. ; ; ; ; ; ; ; ; ; ( , USENIX Symposium on Operating Systems Design and Implementation (OSDI 20))
    Accepted Manuscript Full Text Available